6dd86540f8a4c365a6ede1818a516dcbe2b081fa,src/com/vaadin/terminal/gwt/client/ui/VTabsheetPanel.java,VTabsheetPanel,fixVisibleTabSize,#number#number#number#,162

Before Change


        getElement().getStyle().setPropertyPx("height", height);

        // widget wrapper height
        wrapperDiv.getStyle().setPropertyPx("height", height);
    }

    public void replaceComponent(Widget oldComponent, Widget newComponent) {

After Change


        // v-tabsheet-tabsheetpanel height
        getElement().getStyle().setPropertyPx("height", height);

        if (dynamicHeight) {
            wrapperDiv.getStyle().clearHeight();
        } else {
            // widget wrapper height
            wrapperDiv.getStyle().setPropertyPx("height", height);
        }
    }